GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>Advanced Boolean Equation Language</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading">Advanced Boolean Equation Language</h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr">Die Advanced Boolean Equation Language (ABEL) ist eine heute kaum noch genutzte <a href="Hardwarebeschreibungssprache" title="Hardwarebeschreibungssprache">Hardwarebeschreibungssprache</a>, die in der Digitaltechnik der 1980er und 1990er Jahre eingesetzt wurde, um einfache logische Schaltungen für Bausteine wie CPLDs (<a href="Complex_Programmable_Logic_Device" title="Complex Programmable Logic Device">Complex Programmable Logic Devices</a>) und für kleinere FPGAs (<a href="Field_Programmable_Gate_Array" title="Field Programmable Gate Array">Field Programmable Gate Array</a>) zu entwerfen. Die Beschreibung erfolgt mit booleschen Gleichungen, Wahrheitstafeln oder bedingten Zuweisungen. Bei Zustandsautomaten können die Zustandsübergänge als STATE_DIAGRAMM beschrieben werden. Während <a href="Verilog" title="Verilog">Verilog</a> und <a href="Very_High_Speed_Integrated_Circuit_Hardware_Description_Language" title="Very High Speed Integrated Circuit Hardware Description Language">VHDL</a> ursprünglich nur für die Schaltungssimulation konzipiert wurden, lag das Augenmerk bei der Konzeption von ABEL auf der automatischen und sehr hardwarenahen Generierung von Programmierfiles für CPLDs.

ABEL wurde in den 1980er Jahren von der „Data I/O Corporation“ in Redmond (Washington) entwickelt. Nach einer Reihe von Verkäufen wird ABEL seit 1999 von <a href="Xilinx" title="Xilinx">Xilinx</a> gepflegt.<a href="#cite_note-1">[1]</a> Heute wird ABEL nur noch wenig genutzt, da durch das Aufkommen leistungsfähiger <a href="Synthese_(Elektrotechnik)" title="Synthese (Elektrotechnik)">Synthesetools</a> abstraktere Beschreibungen wie zum Beispiel in VHDL automatisch in Gatterlisten umgesetzt werden können. Für Schaltungen, die aus mehreren Hunderttausenden Logikgattern bestehen, ist die manuelle Beschreibung mit logischen Gleichungen wie in ABEL nicht praktikabel. Aber auch bei kleineren Schaltungen findet ABEL kaum noch Anwendung, da die komplette Funktionalität mit heute üblichen Hardwaresprachen wie VHDL oder Verilog abgedeckt werden kann.

<div class="mw-heading mw-heading2"><h2 id="ABEL-Syntax">ABEL-Syntax</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Programmaufbau">Programmaufbau</h3></div>

Ein Abelprogramm besteht aus verschiedenen Abschnitten, die durch entsprechende Schlüsselwörter (u. a. module, declarations, equations, truth_table, state_diagramm, test_vectors) eingeleitet werden. Pro Zeile sind maximal 150 Zeichen erlaubt. Alle Zeilen enden mit einem Semikolon.

<div class="mw-heading mw-heading3"><h3 id="Reservierte_Schlüsselworte">Reservierte Schlüsselworte</h3></div>

Es gibt ca. 30 Schlüsselworte, die nicht frei verwendet werden dürfen (z. B. if, else, istype, buffer, com, when, then, truth_table, equations, u. a. m.)

<div class="mw-heading mw-heading4"><h4 id="Identifier_(selbstdefinierte_Signalbezeichner)">Identifier (selbstdefinierte Signalbezeichner)</h4></div>

Identifier müssen mit einem Buchstaben oder Unterstrich beginnen und dürfen maximal 31 Zeichen lang sein. Identifier dürfen keine Sonderzeichen (außer ~ und _), Umlaute (ä, ö, ü) oder Leerzeichen enthalten. Identifier sind case-sensitiv!

<div class="mw-heading mw-heading3"><h3 id="Kommentare">Kommentare</h3></div>

Zur Auszeichnung von Kommentaren gibt es zwei Möglichkeiten.

<ul><li>Beginn und Ende mit " kennzeichnen</li>

<li>Beginn mit // - gilt bis Zeilenende, sinnvoll wenn Kommentar selbst " enthält</li></ul>

<div class="mw-heading mw-heading3"><h3 id="Konstanten_(Auswahl)">Konstanten (Auswahl)</h3></div>

<ul><li>.X. don't care Bedingung (z. B. im Abschnitt truth_table)</li>

<li>.C. vollständiger Takt: low-high-low (z. B. in test_vectors)</li>

<li>.K. vollständiger Takt high-low-high</li>

<li>.D. absteigende Taktflanke</li>

<li>.U. ansteigende Taktflanke</li></ul>

<div class="mw-heading mw-heading3"><h3 id="Operatoren">Operatoren</h3></div>

In ABEL gibt es 4 Gruppen von Operatoren: logische Operatoren, arithmetische Operatoren, Vergleichsoperatoren und Zuweisungsoperatoren.

<ul><li>Logische Operatoren sind: ! (NOT), & (AND), # (OR), $ (XOR), !$ (XNOR), << (Shift left) und >> (Shift right)</li>

<li>Arithmetische Operatoren sind + (Addition), − (Subtraktion oder Zweierkomplement), * (Multiplikation) und / (Division)</li>

<li>Die Vergleichsoperationen entsprechen der Syntax vieler Hochsprachen. Möglich sind ==, !=, <, <=, >, <=</li></ul>

Bei Zuweisungen werden kombinatorische Zuweisungen und Zuweisungen mit Speicher unterschieden:

<ul><li>= bei Ausgängen ohne Flipflop (und bei Ausgängen mit FF unter Verwendung von Dot-Extensions)</li>

<li>:= bei Ausgängen mit Flipflop</li></ul>

<div class="mw-heading mw-heading3"><h3 id="Dot-Extensions">Dot-Extensions</h3></div>

DOT-Extensions in ABEL sind ein wichtiges Hilfsmittel, um auf internen Signale der im CLPD enthaltenen D-Flipflops zuzugreifen.

Die Abbildung zeigt die am häufigsten genutzten Dot-Extensions:

<ul><li>.OE schaltet den Tristate-Buffer</li>

<li>.D ist der Daten-Eingang des Flipflops</li>

<li>.CLK bezeichnet den Takt-Eingang des Flipflops</li>

<li>.AR bezeichnet den asynchronen Rücksetzeingang des Flipflops</li>

<li>.Q ist der Ausgang des Flipflops. Bei internen Flipflops (NODE) kann nur .Q genutzt werden.</li>

<li>.Pin ist das Signal am Ausgangspin. Durch Verwendung von .OE sind auch bidirektionale Busse möglich.</li></ul>

Weitere Dot-Extensions werden bausteinspezifisch direkt umgesetzt oder emuliert. So kann in einem CPLD, welches nur D-Flipflops enthält, mittels .J und .K oder .R und .S das Verhalten eines JK- oder RS-Flipflops nachgebildet werden. Wenn die internen Flipflops des CPLD kein asynchrones Setz-Signal (.AS) aufweisen, wird bei der Verwendung von .AS die Logik des Flipflops invertiert und stattdessen der asynchrone Rücksetzeingang .AR genutzt. Dabei kann .AR und .AS nicht gleichzeitig genutzt werden.

<div class="mw-heading mw-heading2"><h2 id="Beispiel_Ampelschaltung_in_ABEL-HDL">Beispiel Ampelschaltung in ABEL-HDL</h2></div>

Der folgende <a href="Quelltext" title="Quelltext">Quelltext</a> stellt ein <a href="Computerprogramm" title="Computerprogramm">Programm</a> zur einfachen Ampelschaltung dar, welches die Ampelphasen rot – rot/gelb – grün – gelb – rot – usw. durchläuft, solange ein High-Signal am Enable-Eingang anliegt.

<div class="mw-highlight mw-highlight-lang-c mw-content-ltr" dir="ltr"><pre>MODULE trafficlight

TITLE 'trafficlight'

DECLARATIONS

// inputs

clk pin 11; // clock signal

en pin 9; // enable signal to start the traffic light

// nodes

q0 node istype 'reg';

q1 node istype 'reg';

// output

red pin 36 istype 'com'; // the red light

yellow pin 42 istype 'com'; // the yellow light

green pin 39 istype 'com'; // the green light

EQUATIONS

q0 := !q0 & !en;

q1 := (q1 $ q0) & !en;

q0.clk = clk;

q1.clk = clk;

red = q1;

yellow = !q0;

green = !(q1 & !q0);

TEST_VECTORS

([clk, en] -> [ red, yellow, green]);

@repeat 1 {[.C., 1] -> [.X., .X., .X.];}

@repeat 7 {[.C., 0] -> [.X., .X., .X.];}

@repeat 3 {[.C., 1] -> [.X., .X., .X.];}

@repeat 40 {[.C., 0] -> [.X., .X., .X.];}

END

</pre></div>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<ul><li>University of Pennsylvania’s <style data-mw-deduplicate="TemplateStyles:r261891140">

/* start https://de.wikipedia.org/ */

.mw-parser-output .webarchiv-memento a{color:inherit}

/* end https://de.wikipedia.org/ */

</style><a rel="nofollow" class="external text" href="https://web.archive.org/web/20050207015851/http://ez-ware.com/abel.primer.htm">ABEL primer</a> (<a href="Webarchivierung#Begrifflichkeiten" title="Webarchivierung">Memento</a> vom 7. Februar 2005 im <a href="Internet_Archive" title="Internet Archive">Internet Archive</a>) (englisch)</li>

<li>Xilinx ABEL <a rel="nofollow" class="external text" href="https://www.xilinx.com/itp/xilinx10/help/iseguide/mergedProjects/abelref/whnjs.htm">Reference Guide</a></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><a href="#cite_ref-1">↑</a> <a rel="nofollow" class="external text" href="https://web.archive.org/web/20000423140328/http://www.xilinx.com/prs_rls/assets.htm">XILINX Completes Purchase Of Software Assets.</a> (<a href="Webarchivierung#Begrifflichkeiten" title="Webarchivierung">Memento</a> vom 23. April 2000 im <a href="Internet_Archive" title="Internet Archive">Internet Archive</a>) Presseerklärung

</li>

</ol>

<div>

Normdaten (Sachbegriff): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <a rel="nofollow" class="external text" href="https://d-nb.info/gnd/4383423-1">4383423-1</a> </div>

</div></div>

/* start https://de.wikipedia.org/ */

.mw-parser-output table.erw-nav-zebra>tbody>:nth-child(odd){background-color:var(--dewiki-hintergrundfarbe-basis)}.mw-parser-output .erw-nav-farbschema-blau .erw-nav-leiste{background-color:#f5f5f5}.mw-parser-output .erw-nav-farbschema-blau .erw-nav-gruppe{background-color:#e5ecf2}.mw-parser-output .erw-nav-farbschema-grau .erw-nav-leiste,.mw-parser-output .erw-nav-farbschema-grau .erw-nav-gruppe{background-color:#ececec}.mw-parser-output .erweiterte-navigationsleiste .klappleiste-inhalt>.wikitable>*>tr{border-top:2px solid #fdfdfd!important;border-bottom:2px solid #fdfdfd!important}@media screen{html.skin-theme-clientpref-night .mw-parser-output .erw-nav-farbschema-blau .erw-nav-leiste,html.skin-theme-clientpref-night .mw-parser-output .erw-nav-farbschema-blau .erw-nav-gruppe,html.skin-theme-clientpref-night .mw-parser-output .erw-nav-farbschema-grau .erw-nav-leiste,html.skin-theme-clientpref-night .mw-parser-output .erw-nav-farbschema-grau .erw-nav-gruppe{background-color:#202122}html.skin-theme-clientpref-night .mw-parser-output .erweiterte-navigationsleiste .klappleiste-inhalt .wikitable tr,html.skin-theme-clientpref-night .mw-parser-output .erweiterte-navigationsleiste .klappleiste-inhalt .wikitable td{border-color:#101418!important}html.skin-theme-clientpref-night .mw-parser-output .erw-nav-bild span[typeof="mw:File"] img{background-color:#c8ccd1}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .erw-nav-farbschema-blau .erw-nav-leiste,html.skin-theme-clientpref-os .mw-parser-output .erw-nav-farbschema-blau .erw-nav-gruppe,html.skin-theme-clientpref-os .mw-parser-output .erw-nav-farbschema-grau .erw-nav-leiste,html.skin-theme-clientpref-os .mw-parser-output .erw-nav-farbschema-grau .erw-nav-gruppe{background-color:#202122}html.skin-theme-clientpref-os .mw-parser-output .erweiterte-navigationsleiste .klappleiste-inhalt .wikitable tr,html.skin-theme-clientpref-os .mw-parser-output .erweiterte-navigationsleiste .klappleiste-inhalt .wikitable td{border-color:#101418!important}html.skin-theme-clientpref-os .mw-parser-output .erw-nav-bild span[typeof="mw:File"] img{background-color:#c8ccd1}}.mw-parser-output .erweiterte-navigationsleiste .hlist .wikitable{border-top:0px!important;border-bottom:0px!important;margin-top:0!important;margin-bottom:0!important}.mw-parser-output .erweiterte-navigationsleiste .hlist .wikitable tr:first-of-type td{border-top:0px!important}.mw-parser-output .erweiterte-navigationsleiste .hlist .wikitable tr:last-of-type td{border-bottom:0px!important}

/* end https://de.wikipedia.org/ */

</style><style data-mw-deduplicate="TemplateStyles:r260755238">

/* start https://de.wikipedia.org/ */

.mw-parser-output div.klappleiste{border:1px solid var(--dewiki-rahmenfarbe1);clear:both;font-size:95%;box-sizing:border-box;margin-top:1.5em;padding:2px}.mw-parser-output div.klappleiste:after{clear:both;content:"";display:block}.mw-parser-output div.klappleiste-bild{float:left;padding:2px}.mw-parser-output div.klappleiste-kopf{background:var(--dewiki-hintergrundfarbe5);color:var(--color-base,#202122);text-align:center;font-weight:bold}.mw-parser-output div.klappleiste.mw-collapsed .klappleiste-bild{display:none}.mw-parser-output div.klappleiste+div.klappleiste,.mw-parser-output div.klappleiste+link+div.klappleiste,.mw-parser-output div.klappleiste+link+link+div.klappleiste,.mw-parser-output div.klappleiste+link+style+div.klappleiste,.mw-parser-output div.klappleiste+style+div.klappleiste,.mw-parser-output div.klappleiste+style+style+div.klappleiste,.mw-parser-output div.klappleiste+style+link+div.klappleiste{margin-top:-1px}@media screen{html.skin-theme-clientpref-night .mw-parser-output .klappleiste-bild span[typeof="mw:File"]:not(.skin-invert-image) img{background-color:#c8ccd1}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .klappleiste-bild span[typeof="mw:File"]:not(.skin-invert-image) img{background-color:#c8ccd1}}

/* end https://de.wikipedia.org/ */

</style>

<div class="klappleiste-kopf"><a href="Programmierbare_logische_Schaltung" title="Programmierbare logische Schaltung">Programmierbare Logik</a></div>

<td class="erw-nav-gruppe" style="white-space: nowrap;text-align: right;border: 1px solid transparent;border-top: 1px solid #FFF;border-bottom: 2px solid #FFF;padding: 0 1em;">Konzepte

</td>

<a href="Anwendungsspezifische_integrierte_Schaltung" title="Anwendungsspezifische integrierte Schaltung">ASIC</a> •

<a href="System-on-a-Chip" title="System-on-a-Chip">SoC</a> •

(<a href="Configurable_Logic_Block" title="Configurable Logic Block">CLB</a>) •

<a href="Complex_Programmable_Logic_Device" title="Complex Programmable Logic Device">CPLD</a> •

<a href="Erasable_Programmable_Logic_Device" title="Erasable Programmable Logic Device">EPLD</a> •

<a href="Programmierbare_logische_Anordnung" title="Programmierbare logische Anordnung">PLA</a> •

<a href="Programmable_Array_Logic" title="Programmable Array Logic">PAL</a> •

<a href="Programmable_Array_Logic" title="Programmable Array Logic">GAL</a> •

<a href="PSoC" title="PSoC">PSoC</a> •

<a href="Reconfigurable_Computing" title="Reconfigurable Computing">Reconfigurable Computing</a>

(<a href="Xputer" title="Xputer">Xputer</a>) •

Soft microprocessor •

Circuit underutilization •

High-level synthesis •

<a href="Hardwarebeschleunigung" title="Hardwarebeschleunigung">Hardwarebeschleunigung</a>

</td></tr>

<tr>

<td class="erw-nav-gruppe" style="white-space: nowrap;text-align: right;border: 1px solid transparent;border-top: 1px solid #FFF;border-bottom: 2px solid #FFF;padding: 0 1em;">Programmiertechnik

</td>

<a href="Gate-Array" title="Gate-Array">Masken-programmiert</a> •

<a href="Antifuse-Technologie" title="Antifuse-Technologie">Antifuse</a> •

<a href="Erasable_Programmable_Read-Only_Memory" title="Erasable Programmable Read-Only Memory">EPROM</a> •

<a href="Electrically_Erasable_Programmable_Read-Only_Memory" title="Electrically Erasable Programmable Read-Only Memory">E²PROM</a> •

<a href="Flash-Speicher" title="Flash-Speicher">Flash</a> •

</td></tr>

<tr>

</td>

<a href="Verilog" title="Verilog">Verilog</a>

(A,

AMS) •

(<a href="Very_High_Speed_Integrated_Circuit_Hardware_Description_Language" title="Very High Speed Integrated Circuit Hardware Description Language">AMS</a>,

VITAL) •

<a href="SystemVerilog" title="SystemVerilog">SystemVerilog</a>

(DPI) •

<a href="SystemC" title="SystemC">SystemC</a> •

AHDL •

Handel-C •

<a href="Property_Specification_Language" title="Property Specification Language">PSL</a> •

UPF •

<a href="PALASM" title="PALASM">PALASM</a> •

<a class="mw-selflink selflink">ABEL</a> •

CUPL •

OpenVera •

C to HDL •

Flow to HDL •

MyHDL •

<a href="Just_Another_Hardware_Definition_Language" title="Just Another Hardware Definition Language">JHDL</a> •

ELLA

</td></tr>

<tr>

<td class="erw-nav-gruppe" style="white-space: nowrap;text-align: right;border: 1px solid transparent;border-top: 1px solid #FFF;border-bottom: 2px solid #FFF;padding: 0 1em;">Hersteller

</td>

Accellera •

Achronix •

<a href="Altera" title="Altera">Altera</a> (<a href="Intel" title="Intel">Intel</a>) •

<a href="AMD" title="AMD">AMD</a> (<a href="Xilinx" title="Xilinx">Xilinx</a>) •

Aldec •

<a href="Bitmain" title="Bitmain">Bitmain</a> •

<a href="Cadence_Design_Systems" title="Cadence Design Systems">Cadence</a> •

Duolog •

Forte •

<a href="Infineon" title="Infineon">Infineon</a> (<a href="Cypress_Semiconductor_Corporation" title="Cypress Semiconductor Corporation">Cypress</a>) •

<a href="Lattice_Semiconductor_Corporation" title="Lattice Semiconductor Corporation">Lattice</a> •

<a href="Mentor_Graphics" title="Mentor Graphics">Mentor Graphics</a> •

<a href="Microchip_Technology" title="Microchip Technology">Microchip Technology</a> •

<a href="Signetics" title="Signetics">Signetics</a> •

<a href="Synopsys" title="Synopsys">Synopsys</a>

(Magma,

Virage Logic) •

<a href="Texas_Instruments" title="Texas Instruments">Texas Instruments</a> •

Tabula •

</td></tr>

<tr>

<td class="erw-nav-gruppe" style="white-space: nowrap;text-align: right;border: 1px solid transparent;border-top: 1px solid #FFF;border-bottom: 1px solid #FFF;padding: 0 1em;">Produkte

</td>

<td class="erw-nav-gruppe" style="white-space: nowrap;text-align: right;border: 1px solid transparent;border-top: 1px solid #FFF;border-bottom: 2px solid #FFF;padding: 0 1em;">Hardware

</td>

<a href="Stratix" class="mw-redirect" title="Stratix">Stratix</a> •

<a href="Altera#Produkte" title="Altera">Agilex</a> •

<a href="Altera#Produkte" title="Altera">Cyclone</a> •

<a href="Altera#Produkte" title="Altera">Arria</a> •

<a href="Altera#Produkte" title="Altera">Max</a> •

Kintex •

Zynq •

Virtex •

iCE

</td></tr>

<tr>

<td class="erw-nav-gruppe" style="white-space: nowrap;text-align: right;border: 1px solid transparent;border-top: 1px solid #FFF;border-bottom: 2px solid #FFF;padding: 0 1em;">Software

</td>

<a href="Altera#Quartus" title="Altera">Intel Quartus Prime</a> •

Xilinx ISE •

Xilinx Vivado •

ModelSim •

VTR

</td></tr>

<tr>

<td class="erw-nav-gruppe" style="white-space: nowrap;text-align: right;border: 1px solid transparent;border-top: 1px solid #FFF;border-bottom: 1px solid #FFF;padding: 0 1em;">IP

</td>

<td class="erw-nav-gruppe" style="white-space: nowrap;text-align: right;border: 1px solid transparent;border-top: 1px solid #FFF;border-bottom: 2px solid #FFF;padding: 0 1em;">Proprietär

</td>

ARC •

<a href="Arm_Cortex-M" title="Arm Cortex-M">Arm Cortex-M</a> •

<a href="PowerPC" title="PowerPC">PowerPC</a> •

<a href="LEON" title="LEON">LEON</a> •

<a href="Lattice_Semiconductor_Corporation" title="Lattice Semiconductor Corporation">LatticeMico8</a> •

<a href="MicroBlaze" title="MicroBlaze">MicroBlaze</a> •

<a href="PicoBlaze" title="PicoBlaze">PicoBlaze</a> •

<a href="Altera_Nios" title="Altera Nios">Nios</a> •

</td></tr>

<tr>

<td class="erw-nav-gruppe" style="white-space: nowrap;text-align: right;border: 1px solid transparent;border-top: 1px solid #FFF;border-bottom: 1px solid #FFF;padding: 0 1em;">Open-Source

</td>

<a href="Java-Prozessor" title="Java-Prozessor">JOP</a> •

<a href="Lattice_Semiconductor_Corporation" title="Lattice Semiconductor Corporation">LatticeMico32</a> •

OpenCores •

<a href="OpenRISC" title="OpenRISC">OpenRISC</a> •

<a href="RISC-V" title="RISC-V">RISC-V</a> •

Zet

</td></tr>

</tbody></table></div>

</td></tr>

</tbody></table></div>

</td></tr>

</tbody></table></div></div></div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2023-03-25" href="https://de.wikipedia.org/wiki/?title=Advanced_Boolean_Equation_Language&oldid=232181233">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>